// File: /workspace/github_cpp_makefile_star2_O3/eryxcc[P]lois/tests/autotest.cpp
// Function: main
int main() {
  lasttime = getVa();
  initLois();
  // pushSolverDiagnostic("checking: ");
  
#ifdef TEST_SPASS
  useDefaultSolver();
  pushSolverSPASS();
  pushSolverBasic();
  
  sym.edge = "edge";
  sym.greater = "gt";
  
#endif

  Domain dA("A");
  lsetof<term> A = dA.getSet(); 

  testFullyPseudoparallel(A);
  showTimeElapsed(); cout<<endl;

  testAssignment(A);
  showTimeElapsed(); cout<<endl;
  
  testRandomBipartite(A);
  showTimeElapsed(); cout<<endl;
  
  testOrder(A);
  showTimeElapsed(); cout<<endl;

  testQueue();
  showTimeElapsed(); cout<<endl;

  testRemoval(A);
  showTimeElapsed(); cout<<endl;
  
  // testPowerset(A * A);
  // showTimeElapsed(); cout<<endl;

  testCartesian(A);
  showTimeElapsed(); cout<<endl;

  testTree(A);
  
  return 0;
  }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x110, %rsp            # imm = 0x110
leaq 0x28(%rsp), %rbx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x73b0
imulq $0xf4240, (%rbx), %rax  # imm = 0xF4240
addq 0x8(%rbx), %rax
movq %rax, 0x420ac(%rip)     # 0x522b8
callq 0x3cca3
leaq 0x60(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x3037a(%rip), %rsi     # 0x4059b
leaq 0x30374(%rip), %rdx     # 0x4059c
leaq 0x50(%rsp), %rbx
movq %rbx, %rdi
callq 0x1c74a
leaq 0x38(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
addq %rsi, %rdx
leaq 0x28(%rsp), %rdi
callq 0x13754
movl $0xffffffff, 0x48(%rsp) # imm = 0xFFFFFFFF
movq 0x50(%rsp), %rdi
cmpq %r14, %rdi
je 0x10271
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x7280
movq %rsp, %rdi
leaq 0x28(%rsp), %rsi
callq 0x3d910
leaq 0xe8(%rsp), %rdi
movq %rsp, %rsi
callq 0x107c0
leaq 0xf8(%rsp), %rbx
movq %rbx, %rdi
callq 0x138d0
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x102ac
callq 0x133fc
callq 0x7ecf
movq 0x41d18(%rip), %rdi     # 0x51fd0
movq (%rdi), %rax
addq -0x18(%rax), %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq 0x41cfd(%rip), %rbx     # 0x51fd0
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
leaq 0xc0(%rsp), %rdi
movq %rsp, %rsi
callq 0x107c0
leaq 0xc0(%rsp), %rdi
callq 0xfe59
leaq 0xd0(%rsp), %r14
movq %r14, %rdi
callq 0x138d0
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0x1031e
callq 0x133fc
callq 0x7ecf
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq 0x41c8f(%rip), %rbx     # 0x51fd0
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
leaq 0x98(%rsp), %rdi
movq %rsp, %rsi
callq 0x107c0
leaq 0x98(%rsp), %rdi
callq 0xd17a
leaq 0xa8(%rsp), %r14
movq %r14, %rdi
callq 0x138d0
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0x1038c
callq 0x133fc
callq 0x7ecf
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq 0x41c21(%rip), %rbx     # 0x51fd0
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
movq %rsp, %rdi
callq 0xae56
callq 0x7ecf
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq 0x41be6(%rip), %rbx     # 0x51fd0
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
callq 0xf253
callq 0x7ecf
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq 0x41bae(%rip), %rbx     # 0x51fd0
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
leaq 0x70(%rsp), %rdi
movq %rsp, %rsi
callq 0x107c0
leaq 0x70(%rsp), %rdi
callq 0xf4b6
leaq 0x80(%rsp), %r14
movq %r14, %rdi
callq 0x138d0
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0x10467
callq 0x133fc
callq 0x7ecf
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq 0x41b46(%rip), %rbx     # 0x51fd0
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
callq 0x7ecf
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq 0x41b13(%rip), %rdi     # 0x51fd0
callq 0x7030
movq %rax, %rdi
callq 0x7190
movq %rsp, %rdi
callq 0x8f36
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x138d0
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x104ed
callq 0x133fc
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x10504
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x7280
xorl %eax, %eax
addq $0x110, %rsp            # imm = 0x110
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x70(%rsp), %rdi
jmp 0x10535
movq %rax, %rbx
leaq 0x98(%rsp), %rdi
jmp 0x10535
movq %rax, %rbx
leaq 0xc0(%rsp), %rdi
callq 0x10a0c
jmp 0x10556
movq %rax, %rbx
jmp 0x1055e
movq %rax, %rbx
movq 0x50(%rsp), %rdi
movq %r14, %r15
cmpq %r14, %rdi
jne 0x10568
jmp 0x10573
movq %rax, %rbx
movq %rsp, %rdi
callq 0x10a0c
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x10573
movq (%r15), %rsi
incq %rsi
callq 0x7280
movq %rbx, %rdi
callq 0x7430
nop